SOFiSTiK Infrastructure Extension